<?php
  include_once("library.php");

  // Your code goes here
?>