document.write (" 12713 ");