document.write (" 12317 ");