document.write (" 12644 ");