document.write (" 12402 ");