document.write (" 12316 ");