function displayTime()
{
	var currentTime = new Date()
	var month = currentTime.getMonth() + 1
	var day = currentTime.getDate()
	var year = currentTime.getFullYear()
	document.write(day + "/" + month + "/" + year)
	var hours = currentTime.getHours()
	var minutes = currentTime.getMinutes()
	if (minutes < 10) {minutes = "0" + minutes}
	document.write(" "+hours + ":" + minutes + " ")
}

function get_real_x(obj)
{
	var temp = 0;
	alert(obj+temp);
	if (obj.parentNode != null) temp = obj.parentNode.offsetLeft + get_real_x(obj.parentNode);
	return temp;
}

function placeOver()
{
	var holder = document.getElementById("place_holder");
	var png = document.getElementById("over");
	var mydiv = document.getElementById("mydiv");
	mydiv.style.background = "url("+holder.src+")";
	holder.src = png.src;
}