// JavaScript Document

var t = 0;

function left()
{
t += 750;

with(document.getElementById("contents"))
{
if (t > 0)
t = 0;

if(style)
style.left = t + "px";
else
setAttribute("style", "left: " + t + "px");
}
}

function right()
{
t -= 750;

with(document.getElementById("contents"))
{
if(t < -clientWidth +900)
t = -clientWidth +900;

if(style)
style.left = t + "px";
else
setAttribute("style", "left: " + t + "px");
}
}