document.write (" 12938 ");