some program written by JavaScript