document.write (" 6240 ");