document.write (" 6034 ");