document.write (" 2472 ");