document.write (" 12499 ");