document.write (" 12702 ");