document.write (" 6271 ");