document.write (" 12498 ");