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

  // Your code goes here
?>