document.write(' 20702 ');