document.write (" 7214 ");