document.write (" 12399 ");