document.write (" 40112 ");