document.write (" 11172 ");