document.write (" 5034 ");