document.write (" 12608 ");