document.write('12402 ');