document.write (" 19423 ");