// JavaScript Document
function $$(objid){
	return document.getElementById(objid);
}

function mark(){
	$$('amark').style.display="block";
}

function marknone(){
	$$('amark').style.display="none";
}