document.write (" 12652 ");