document.write (" 5671 ");