var penpx=0;
var intid;
function SetPen(px){
	penpx=px+115;
}
function SetPen2(){
	intid=setInterval("checkPenpx()",500);
	
}
function checkPenpx(){
	if(penpx!=0){
		clearInterval(intid);
		document.getElementById("pen").style.margin= '60px 0 0 '+penpx+'px';
		document.getElementById("pen").style.display="";
	}
}