document.write (" 6071 ");