function p_on(event,y){
  if (typeof(event)=="undefined") event = window.event;
  var el = (!event.target) ? event.srcElement : event.target;
  var key = y;
  document.getElementById(el.id).style.marginTop = "-" + key + "px";
}

function p_off(event,y){
  if (typeof(event)=="undefined") event = window.event;
  var el = (!event.target) ? event.srcElement : event.target;
  var key = y;
  document.getElementById(el.id).style.marginTop = "-" + key + "px";
}