document.write (" 12403 ");