document.write (" 8434 ");