document.write (" 12339 ");