document.write (" 10713 ");