document.write (" 9714 ");