document.write (" 11494 ");