Coding of the main HTML5 file