document.write (" 12491 ");