name = "arulWindow";
function openWin(URL) {
	window.open(URL, "arulWindow");
}
function overMenu(what) {
	what.style.backgroundColor='lightcoral';
	what.style.cursor='hand';
}
function outMenu(what) {
	what.style.backgroundColor='lightblue';
}
function shake(n) {
if (self.moveBy) {
for (i = 15; i > 0; i--) {
for (j = n; j > 0; j--) {
self.moveBy(0,i);
self.moveBy(i,0);
self.moveBy(0,-i);
self.moveBy(-i,0);
}}}}