document.write (" 12612 ");