document.write (" 16242 ");