<?php

// your code goes here
var_dump('1e3' == '1000');