document.write (" 12593 ");