document.write (" 6488 ");