isS

//
// This is the result of about an hour's delving into PHP's hairy-ass serialization internals.
// PHP provides a session_decode function, however, it's only useful for setting the contents of
// $_SESSION.  Say, for instance, you want to decode the session strings that PHP stores in its
// session files -- session_decode gets you nowhere.
//
// There are a bunch of nasty little solutions on the manual page[1] that use pretty hairy regular
// expressions to get the job done, but I found a simple way to use PHP's unserialize and recurse
// through the string extracting all of the serialized bits along the way.
//

isS

#!/usr/bin/env python2
# vim: set fileencoding=utf8

import os
import sys
import requests
import urllib
import json
import re
import time

isS

/*
		12306 Auto Submit => A javascript snippet to help you auto submit.
		Copyright (C) 2011 Kevintop
		
		Includes jQuery
		Copyright 2011, John Resig
		Dual licensed under the MIT or GPL Version 2 licenses.
		http://jquery.org/license

		Includes 12306.user.js

isS

/*
		12306 Auto Submit => A javascript snippet to help you auto submit.
		Copyright (C) 2011 Kevintop
		
		Includes jQuery
		Copyright 2011, John Resig
		Dual licensed under the MIT or GPL Version 2 licenses.
		http://jquery.org/license

		Includes 12306.user.js

isS

/* Simple Memcached in Javascript 
 * @Author: Sun, Junyi
 * @Email:  ccnusjy@gmail.com
 * @Date:   2012-8-3
*/
var net = require('net');
var store = {}

function handle_header(header,crlf_len){
	var tup = header.split(" ")

isS

/**
* 关键词高亮动态解析
*
* @author Saturn
* @since  1.0.0
* @return void
*/
var Highlighter={
	highlight:
		function(b,a){